Generating algebraic laws from imperative programs

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Generating Algebraic Laws from Imperative Programs

The use of veri ers for proving the correctness of concrete programs is well known and has been amply described in the literature Here we focus on further perhaps more general tasks such veri ers can perform Given a program that is assumed to be correct we derive a set of axioms for the data structures involved In the simplest case we study an abstract program interchanging the contents of two ...

متن کامل

From imperative to rule-based graph programs

The use of graphs to model dynamic structures is ubiquitous in computer science; prominent example areas include compiler construction, pointer programming, natural language processing, and model-driven software development. The behaviour of systems in such areas can be naturally captured by graph transformation rules specifying small state changes. Domain-specific languages based on graph tran...

متن کامل

Reversing Imperative Parallel Programs

We propose an approach and a subsequent extension for reversing imperative programs. Firstly, we produce both an augmented version and a corresponding inverted version of the original program. Augmentation saves reversal information into an auxiliary data store, maintaining segregation between this and the program state, while never altering the data store in any other way than that of the orig...

متن کامل

Verification of Logic Programs and Imperative Programs

This paper explores the relationship between veriication of logic programs and imperative programs with the aim of uncovering the kinds of reasoning used to construct logic programs. We discuss forward reasoning, such as that used for verifying imperative programs using the inductive assertion method, and backward reasoning, such as that used for verifying imperative programs using subgoal indu...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Theoretical Computer Science

سال: 1999

ISSN: 0304-3975

DOI: 10.1016/s0304-3975(98)00278-3